Struct isotope::ctx::subst::Shift [−][src]
Expand description
Shift a term up or down by an amount
Fields
shift: i32
The amount to shift variables by
base: u32
The base of this context: leaves variables under this untouched (but not necessarily their annotations!)
Implementations
Trait Implementations
This method returns an ordering between self
and other
values if one exists. Read more
This method tests less than (for self
and other
) and is used by the <
operator. Read more
This method tests less than or equal to (for self
and other
) and is used by the <=
operator. Read more
This method tests greater than (for self
and other
) and is used by the >
operator. Read more
type Ctx = T
type Ctx = T
This type’s underlying context
Substutite a variable, with an optional un-substituted annotation. Does not add the annotation as a constraint. Read more
Push a parameter onto this context with an optional annotation, returning the annotation substitution, if any
Check whether this context can potentially make any changes to a term with the given filter
Whether no variables are substituted by this context
Cache a substitution result. May cause erroneous behaviour if the result passed is invalid! Read more
Attempt to substitute an entire term. Return None
if substitution should proceed recursively instead.
Substutite a variable, with an optional un-substituted annotation, adding the annotation as a constraint. Read more
Get the underlying consing context
Get the underlying equality context
Auto Trait Implementations
impl<T> RefUnwindSafe for Shift<T> where
T: RefUnwindSafe,
impl<T> UnwindSafe for Shift<T> where
T: UnwindSafe,
Blanket Implementations
Mutably borrows from an owned value. Read more
Borrow an optional value of type T
Compare self to key
and return true
if they are equal.